Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, ... 3785 (Lecture Notes in Computer Science)
by Richard Banach,Kung-Kiu Lau
ISBN 13: 9783540297970
Format: Paperback (516 pages) Publisher: Springer Published: 13 Jun 2008
Save for later